Mowafak H. Abdul-hussin: on Structural Conditions of S3pr Based Siphons to Prevent

S3PR, Systems of Simple Sequential Processes with Resources, is a class of Petri Nets to describe concurrent systems with analyses to include model checking capabilities. The structural object of siphons is extensively used to characterize and analyze deadlock situations in flexible manufacturing system (FMS) that are modeled on Petri Nets (PN). The purpose of this work is to structure a model of Petri nets analyzed to extract minimal siphons which are deduced in the establishment of a static resource allocation policy such that deadlocks cannot occur in the system again. For structural properties formulated in terms of siphons which can be resolved, the problems of deadlock occur to Petri nets which are representative of FMS. The elementary siphons are used to remove deadlock from the control policy as an objective of the system. A Petri net simulation to perform the structural analysis of the model is based on the reachability graph and is employed to synthesize and control FMS. An example is used to illustrate this method.